When installing ${version}, do it replacing @version@.

diff --git a/msdos/sed3v2.inp b/msdos/sed3v2.inp
index ea3e3fdd3a2baa3af66efb25fce9200603a8a2c7..ae3fa216a583422fecdbbbd653c29765b0b50280 100644 (file)
--- a/msdos/sed3v2.inp
+++ b/msdos/sed3v2.inp
@@ -4,9 +4,7 @@
 /^# DIST: /d
 /^SHELL *=/s/^/# /
 /^CC *=/s/=.*$/=gcc/
-# Actually, here we should patch in the exact version number, but only
-# [ce]tags uses it.  Don't pass it.  This is more update-resistant.
-/-DVERSION=/s/-DVERSION="\\"\${version}\\""//
+/-DVERSION=/s/@version@/\${version}/
 /^configname *=/s/=.*$/=msdos/
 /^archlibdir *=/s!=.*$!=/emacs/bin!
 /^bindir *=/s!=.*$!=/emacs/bin!